Prose[2]

A constraints-and-sequencing system similar to Kaleidoscope.

"Reflexive Constraints for Dynamic Knowledge Bases", P. Berlandier et al in Proceedings of the First International CS Conference '88: AI: Theory and Applications, Dec 1988.